Term logic - PDFSEARCH.IO - Document Search Engine

Term logic
Results: 276

#	Item
121	Writings of E. J. Ashworth on the History of Logic 64-1990 Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 06:49:58 Traditional logic Abstraction Axiology Term logic Supposition theory Mathematical logic Modal logic Metalogic Organon Logic Philosophy Philosophical logic
122	History of Medieval Logic: A General Overview Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-05-09 04:12:44 Traditional logic Analytic philosophers Logicians Axiology Supposition theory William of Sherwood Term logic William of Ockham Medieval philosophy Philosophy Logic Science
123	Index of the Bibliographies on Selected Arguments Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2014-10-29 06:18:07 Ontology Ancient Greek philosophers Branches of philosophy Western culture Knowledge representation Term logic Logic Category of being Metaphysics Philosophy Science Humanities
124	Writings of E. J. Ashworth on the History of Logic 64-1990 Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:38:19 Traditional logic Abstraction Axiology Term logic Supposition theory Mathematical logic Modal logic Metalogic Organon Logic Philosophy Philosophical logic
125	Second Part of the Index of: Ontology. Theory and History Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2015-02-21 16:22:00 Ontology Ancient Greek philosophers Branches of philosophy Aristotle Philosophy of life Commentaries on Aristotle Term logic Plotinus Problem of universals Philosophy Metaphysics Humanities
126	Medieval theories of Supposition and Mental Language Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:14 Philosophical logic Traditional logic Medieval philosophy Philosophy of mathematics Term logic Supposition theory William of Ockham Mathematical logic Syllogism Logic Philosophy Science
127	Lesniewski's Logical Systems: Protothetic, Ontology, Mereology Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:28:22 Knowledge representation Biuro Szyfrów Stanisław Leśniewski Mereology Information science Technical communication Reism Ontology Term logic Science Logic Philosophy
128	LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic⋆ Christoph Benzm¨ uller1 , Lawrence C. Paulson2 , Frank Theiss1 , and Arnaud Fietzke3 1 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:27 Automated theorem proving Vampire Resolution First-order logic Term indexing Unification FO Proof assistant Isabelle Logic Mathematics Mathematical logic
129	Bibliography of L. M. de Rijk - First Part: from 1950 to 1974 Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 06:52:18 Humanities Peter of Spain Peter Abelard Logica nova Boethius Jean Buridan Term logic Organon William of Ockham Philosophy Logicians Logic
130	Bibliography of L. M. de Rijk - First Part: from 1950 to 1974 Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:40:20 Humanities Peter of Spain Peter Abelard Logica nova Boethius Jean Buridan Term logic Organon William of Ockham Philosophy Logicians Logic

UPDATE